Michael Morak University of Klagenfurt
Gernot Salzer TU Wien
Friedrich Slivovsky TU Wien
Anna Lukina TU Wien
Emir Demirovic TU Wien
Ana Sokolova University of Salzburg
Rafael Kiesel TU Wien
Talks by attendees of the Helmut Veith Memorial Workshop 2019.
Michael Morak Post-Doctoral Researcher, University of Klagenfurt
Talk: Epistemic Logic Programs and How to Solve Them
Gernot Salzer Professor, TU Wien
Friedrich Slivovsky Post-Doctoral Researcher, TU Wien
Free time for skiing, swimming, spa, or other social activities.
Anna Lukina Post-Doctoral Researcher, TU Wien
Emir Demirovic Post-Doctoral Researcher, TU Wien
Ana Sokolova Associate Professor, University of Salzburg
Talk: Syntax and Semantics for Probability and Nondeterminism
Rafael Kiesel Doctoral Student, TU Wien
Discussing the future of HVW.